]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7867fe) | patch
st: Use case-insensitive shortcuts
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 12 May 2016 13:08:21 +0000 (15:08 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 12 May 2016 16:10:04 +0000 (18:10 +0200)
commit387f5143f02f720b4d084aa4fca65e2ff31176b0
tree46fcb90f1ce1f51c60430ca1bf26c897ac4d24f2tree | snapshot
parentb7867fe44c45f60a9399baf737132a9ba30351aacommit | diff
st: Use case-insensitive shortcuts

For shortcuts that involve a letter (like <ctrl>c), we currently only
accept the lower-case variant. This makes shortcuts awkward to use when
caps-lock is active, and is inconsistent with GTK+, so accept upper-case
variants as well.

https://bugzilla.gnome.org/show_bug.cgi?id=766325
src/st/st-entry.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.